移动学习环境下PBL模式在软件工程实训课程中的应用探索

实训是培养软件工程专业学生实践能力的重要环节,基于问题的学习PBL注重培养学生的自主学习、团队合作及解决复杂问题的能力,契合了项目实训课程的教学目标.利用移动学习环境,将PBL方法引入软件工程实训课程教学,建立移动学习环境下的PBL实训教学平台,能为实训教学提供技术支持,实现教学的情境性和灵活性,有利于教学双方的互动交流,实现教学相长.     

基于文字特征的规则碎纸片自动拼接

通过分析具有规范版式的中文文档,以2013年全国大学生数学建模竞赛B题附件3的数据为样本,提出基于文字特征的规则碎纸片的自动拼接算法.该算法通过研究文字行高、间距等特征构建一系列分类准则对碎纸片进行分类,并将分类后的同一行碎纸片排列问题转化为旅行商问题进行求解,最后将组行成页问题再次转化为旅行商问题进行求解,实现规则碎纸片的自动拼接.根据该算法编写MATLAB和LINGO的程序对规则切割形成的碎纸片进行了拼接试验,试验结果表明该算法效果较好.     

压缩驱动单元中声波本征值问题的解析解

解析法求解了号筒扬声器压缩驱动单元中振膜和相位塞间空腔内声波的本征振动问题,该问题表现为既带有θ=0处的自然边界条件又带有空腔边缘的第二类齐次边界条件的勒让德方程.采用在正则奇点θ=0展开级数的方法,得到了幂级数形式的解析解.进一步将该方程转换为零阶贝塞尔方程,给出了近似解.2种解法结果相当吻合.     

利用改进的HBDE算法求解MAX-k-SAT问题

目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规模MAX-k-SAT实例的求解比较表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法。     

无约束全局优化问题的两种新的辅助函数法

填充函数法、打洞函数法和平稳点函数法是目前比较常用的求解全局优化问题的辅助函数法。本文提出两种新的辅助函数法,用于求解一般非线性规划问题的全局最优解,它不仅结合了填充函数法和打洞函数法及其平稳点函数法的特点,同时又避免了它们的一些缺点（每次求解填充函数、打洞函数和平稳点函数的局部极小点以后,还需要重新求解原问题的局部极小点）,而新的辅助函数的局部极小点就是原问题的局部极小点,不需要再求原问题的局部极小点。     

一类测度链上二阶三点边值问题对称解的存在性

本文研究了一类测度链上二阶三点微分方程边值问题xΔΔ(t)+f(t,x(t))=0,t∈(0,1)∩T,x(0)=x(1),xΔ(0)-xΔ(1)=αx(ξ),这里,f:[0,1]×[0,∞)→[0,∞)是一连续函数,满足对称性条件f(t,x)=f(1-t,x),0,1,ξ∈T,0ξ1,α1/(ξ-ξ2)。借助不动点指数性质的应用获得了3个对称正解的存在性。     

关于丢番图方程x(x+1)(x+2)=2p~ky~n的解

设p是奇素数,利用初等方法证明了:当k≥2,n2,且都是整数,则丢番图方程x(x+1)(x+2)=2pKyn没有正整数解(p,x,y).     

一类非线性复合变型Bessel方程组边值问题的相似构造解法

针对一类非线性复合变型Bessel方程组的边值问题的解进行了深入的分析和研究,得到了方程组在三种外边界条件下(无穷大、定解、封闭)解式的相似结构和相似核函数,并通过对相似结构进一步地归纳提出了一种求解该类边值问题的新方法——相似构造法.     

含参数形式的鞍点问题SOR-LIKE求解方法

在求解鞍点问题的迭代方法SOR-LIKE算法中,通过引入参数构造出系数矩阵的一般化分裂算法,运用矩阵理论分析该算法的收敛性,并用数值实验来检验迭代法的收敛性.     

线性互补问题的一个新的迭代算法

在M的特征值大于1的假设下,把线性互补问题转化成绝对值方程组.利用绝对值方程组的迭代法,给出了线性互补问题的一种新的迭代法并且证明了该迭代算法的收敛性.用数值例子说明了该方法可行.